Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed

Modern aircraft increasing rely on electric power, resulting in high safety-criticality and complexity in their electric power generation and distribution systems. Motivated by the resulting rapid increase in the costs and duration of the design cycles for such systems, we investigate the use of formal specification and automated, correct-byconstruction control protocols synthesis for primary distribution in vehicular electric power networks. We discuss a design workflow that aims to transition from the traditional “design+verify” approach to a “specify+synthesize” approach. We give an overview of a subset of the recent advances in the synthesis of reactive control protocols. We apply these techniques in the context of reconfiguration of the networks in reaction to the changes in their operating environment. We also validate these automatically synthesized control protocols on high-fidelity simulation models and on an academic-scale hardware testbed.